Certified domination

Certified

Certified Subterm Criterion and Certified Usable Rules

In this paper we present our formalization of two important termination techniques for term rewrite systems: the subterm criterion and the reduction pair processor in combination with usable rules. For both techniques we developed executable check functions using the theorem prover Isabelle/HOL. These functions are able to certify the correct application of the formalized techniques in a given ...

Hypo-efficient domination and hypo-unique domination

For a graph $G$ let $gamma (G)$ be its domination number. We define a graph G to be (i) a hypo-efficient domination graph (or a hypo-$mathcal{ED}$ graph) if $G$ has no efficient dominating set (EDS) but every graph formed by removing a single vertex from $G$ has at least one EDS, and (ii) a hypo-unique domination graph (a hypo-$mathcal{UD}$ graph) if $G$ has at least two minimum dominating sets...

Inequalities Involving Independence Domination , / - Domination , Connected and Total / - Domination Numbers

Let / be an integer-valued function defined on the vertex set V(G) of a graph G. A subset D of V(G) is an /-dominating set if each vertex x outside D is adjacent to at least f(x) vertices in D. The minimum number of vertices in an /-dominating set is denned to be the /-domination number, denoted by 7/(G). In a similar way one can define the connected and total /-domination numbers 7 C| /(G) and...

Total domination versus paired domination

A dominating set of a graph G is a vertex subset that any vertex of G either belongs to or is adjacent to. A total dominating set is a dominating set whose induced subgraph does not contain isolated vertices. The minimal size of a total dominating set, the total domination number, is denoted by γt. The maximal size of an inclusionwise minimal total dominating set, the upper total domination num...